Contraction method and Lambda-Lemma

Urysohn’s Lemma, Gluing Lemma and Contraction Mapping Theorem for Fuzzy Metric Spaces

In this paper the concept of a fuzzy contraction mapping on a fuzzy metric space is introduced and it is proved that every fuzzy contraction mapping on a complete fuzzy metric space has a unique fixed point.

A lambda-lemma for normally hyperbolic invariant manifolds

Let N be a smooth manifold and f : N → N be a C, l ≥ 2 diffeomorphism. Let M be a normally hyperbolic invariant manifold, not necessarily compact. We prove an analogue of the λ-lemma in this case.

Separating Weakening and Contraction in a Linear Lambda Calculus

We present a separated-linear lambda calculus of resource consumption based on a refinement of linear logic which allows separate control of weakening and contraction. The calculus satisfies subject reduction and confluence, and inherits previous results on the relationship of Girard’s two translations from minimal intuitionistic logic to linear logic with call-by-name and call-by-value. We con...

The Probabilistic Method and the Regularity Lemma

The Method of Laplace and Watson’s Lemma

in this paper we present a diferent proof of a well known asymptotic estimate for Laplace integrals. The novelty of our approach is that it emphasizes, and rigorously justifies, the appealing heuristic method of Laplace. As a bonus, we also obtain a simple and short proof of Watson’s Lemma. Let a be an element of the extended real number set [−∞,∞]. If lim x−→a f(x)/g(x) = 1 we write f(x) ∼ g(x...